David Sabel, Manfred Schmidt-Schauß: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

Improvements in a call-by-need functional core language: Common subexpression elimination and resource preserving translations

Schmidt-Schauß, Manfred, Sabel, David

Journal:

Science of Computer Programming

Year:

2017

Language:

english

File:

PDF, 1.48 MB

english, 2017

2

Observational Semantics for a Concurrent Lambda Calculus with Reference Cells and Futures

Joachim Niehren, David Sabel, Manfred Schmidt-Schauß, Jan Schwinghammer

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2007

Language:

english

File:

PDF, 505 KB

english, 2007

3

On generic context lemmas for higher-order calculi with sharing

Manfred Schmidt-Schauß, David Sabel

Journal:

Theoretical Computer Science

Year:

2010

Language:

english

File:

PDF, 1.26 MB

english, 2010

4

Closures of may-, should- and must-convergences for contextual equivalence

Manfred Schmidt-Schauß, David Sabel

Journal:

Information Processing Letters

Year:

2010

Language:

english

File:

PDF, 167 KB

english, 2010

5

Counterexamples to applicative simulation and extensionality in non-deterministic call-by-need lambda-calculi with letrec

Manfred Schmidt-Schauß, David Sabel, Elena Machkasova

Journal:

Information Processing Letters

Year:

2011

Language:

english

File:

PDF, 157 KB

english, 2011

6

A Two-Valued Logic for Properties of Strict Functional Programs Allowing Partial Functions

David Sabel, Manfred Schmidt-Schauß

Journal:

Journal of Automated Reasoning

Year:

2013

Language:

english

File:

PDF, 946 KB

english, 2013

7

Observational program calculi and the correctness of translations

Schmidt-Schauß, Manfred, Sabel, David, Niehren, Joachim, Schwinghammer, Jan

Journal:

Theoretical Computer Science

Year:

2015

Language:

english

File:

PDF, 848 KB

english, 2015

8

[ACM Press the 13th international ACM SIGPLAN symposium - Odense, Denmark (2011.07.20-2011.07.22)] Proceedings of the 13th international ACM SIGPLAN symposium on Principles and practices of declarative programming - PPDP '11 - A contextual semantics for concurrent Haskell with futures

Sabel, David, Schmidt-Schauß, Manfred

Year:

2011

Language:

english

File:

PDF, 469 KB

english, 2011

9

[ACM Press the 18th ACM SIGPLAN international conference - Boston, Massachusetts, USA (2013.09.25-2013.09.27)] Proceedings of the 18th ACM SIGPLAN international conference on Functional programming - ICFP '13 - Correctness of an STM Haskell implementation

Schmidt-Schauß, Manfred, Sabel, David

Year:

2013

Language:

english

File:

PDF, 642 KB

english, 2013

10

[ACM Press the 17th International Symposium - Siena, Italy (2015.07.14-2015.07.16)] Proceedings of the 17th International Symposium on Principles and Practice of Declarative Programming - PPDP '15 - Improvements in a functional core language with call-by-need operational semantics

Schmidt-Schauß, Manfred, Sabel, David

Year:

2015

Language:

english

File:

PDF, 914 KB

english, 2015

11

Nominal unification with atom-variables

Schmidt-Schauß, Manfred, Sabel, David, Kutz, Yunus D.K.

Journal:

Journal of Symbolic Computation

Year:

2018

Language:

english

File:

PDF, 1.03 MB

english, 2018

12

[ACM Press the 20th International Symposium - Frankfurt am Main, Germany (2018.09.03-2018.09.05)] Proceedings of the 20th International Symposium on Principles and Practice of Declarative Programming - PPDP '18 - Sequential and Parallel Improvements in a Concurrent Functional Programming Language

Schmidt-Schauß, Manfred, Sabel, David, Dallmeyer, Nils

Year:

2018

Language:

english

File:

PDF, 761 KB

english, 2018

13

[ACM Press the 27th Symposium - Koblenz, Germany (2015.09.14-2015.09.16)] Proceedings of the 27th Symposium on the Implementation and Application of Functional Programming Languages - IFL '15 - Sharing-aware improvements in a call-by-need functional core language

Schmidt-Schauß, Manfred, Sabel, David

Year:

2015

Language:

english

File:

PDF, 422 KB

english, 2015